言語化の正確さ v.s. 時間のトレードオフ